Parametric Analysis of Hybrid Systems Using HyMITATOR
نویسندگان
چکیده
Hybrid automata are a powerful formalism for modeling and verifying hybrid systems, that combine continuous and discrete behavior. A common problem for hybrid systems is the good parameters problem, which consists in identifying a set of parameter valuations guaranteeing a certain good behavior of a system. We introduce here HyMITATOR, a tool for efficient parameter synthesis for hybrid automata, providing hybrid systems with a quantitative measure of their robustness.
منابع مشابه
Thermoeconomic Analysis and Parametric Study of Geothermal and Biomass Source ORC, Dual Fluid and Hybrid Power Plants
In this paper, we have continued doing a research project which had done previously. Three types of power plants include an Organic Rankine Cycle (ORC), a Dual-Fluid-Hybrid (DFH) and a single-fluid hybrid-fueled (HYB); were re-modeled. After model validation, thermodynamic studies and exergy analysis were extended for the defined cases using the first and second laws of thermodynamics. Then the...
متن کاملTask-System Analysis Using Slope-Parametric Hybrid Automata
Slope-parametric hybrid automata (SPHA) are hybrid automata whose variables can have parametric slopes. SPHA are useful, in particular, for modeling task-control systems in which the task speeds can be adjusted for meeting some safety requirement. In this paper, we present an example of parametric analysis for a simple task system. We introduce a prototype veriication tool that fully automates ...
متن کاملParametric optimization of cylindrical grinding process through hybrid Taguchi method and RSM approach using genetic algorithm
The present investigation proposes a hybrid technique: Taguchi method, response surface methodology (RSM) and genetic algorithm (GA), to analyze, model and predict vibration and surface roughness in traverse cut cylindrical grinding of aluminum alloy. Experiments have been conducted as per L9 orthogonal array of Taguchi methodology using several levels of the grinding parameters. Analysis of va...
متن کاملStability analysis of nonlinear hybrid delayed systems described by impulsive fuzzy differential equations
In this paper we introduce some stability criteria of nonlinear hybrid systems with time delay described by impulsive hybrid fuzzy system of differential equations. Firstly, a comparison principle for fuzzy differential system based on a notion of upper quasi-monotone nondecreasing is presented. Here, for stability analysis of fuzzy dynamical systems, vector Lyapunov-like functions are defined....
متن کاملBank efficiency evaluation using a neural network-DEA method
In the present time, evaluating the performance of banks is one of the important subjects for societies and the bank managers who want to expand the scope of their operation. One of the non-parametric approaches for evaluating efficiency is data envelopment analysis(DEA). By a mathematical programming model, DEA provides an estimation of efficiency surfaces. A major problem faced by DEA is that...
متن کامل